Ignore html-tidy