#170: minor language change