Small correction in comments