correct abbM.hs