Fix another version-related crash in 1.7.2.