Fixed a test after a typechecker change