Fix bad file extension (habit)