Fix indentation of html example