Very minor comment change