Do not allow to edit the modulo annotation.