Fixed typo in no-monopoles constraint