Found a couple of typos in type checker.