Correct file extension.