Fixes example.html