#51: minor language changes