#95: Another minor language change