course-info: trying to save some h-space.