#89: minor language change