renamed file to have HTML extension