Fix example.html