remove accidentally committed debug lines
typo in type checking