#171: minor comment change