Ensure that index_course was actually invoked