Fix bad file extension