Implicitly done by get_course_with_access. I'll add a comment.