Hands-on sessions: fix broken HTML