Update revision.html