#262: Minor language change