Fix typo in mycha_spec

@kevgo this fixes the build