Small correction in course text.