fix neg type checking: