Fix indentation of HTML 001.