Correcting some HTML errors in the documentation.