modifies HTML files