minor change to how lecture numbers rendered