#95: Minor language change