Fix a style problem in course