#54: minor wording changes