Correct file extension