Comment by gh1

Good catch. I can imagine that this is annoying. I have put it in my todo.

I hope you enjoy the course over the weekend.