Fix typespecs