fixed the MscrsDefinitions spec