#81: minor language change