Correction to “Hecke operators for curves over non-archimedean local fields and related finite rings” | Synapse