Minor fix in the type checker.