#187: minor comment change