Small modification for type checker.