Update autoformat.html