#119: minor language change