Actually fix typespecs