Fixing HTML documentation