Rename html too, to create less confusion