Rewrite enrolled_courses. MySQL didn't like the original.