fix syntax of wtf html example.