Minor comment change. No semantic change.