Aren't lines 934 and 935 checking the same thing?