#73: Minor language change