Slight rewording of example comment