Very minor comment change.