fixed a bad precondition in is_na