fix a CCE in the typechecker