Rename huggett3.html to Huggett3.html