#284: minor language change