More fixes regarding the MutationRecognizer