Change html filename.