Small correction in course text