#118: minor language change