fix filename in html pages