Updated documentation and made one fix to an html file