Fixed some HTML errors in documentation