Removes type checking fixes #7