setCourse should be in Transition(_, _, Idle)
Merge branch 'sec9' into sec10