fix html file re-naming