Fixing doc HTML
Modifying files