Check.hs: Fix a few typos