Some documentation fixes for course->user