fixed naming in HTML files