fixes syntax error in slides Hoplon code