change a mistype of M->

M->; to M->