Fix example.html dead link