Correct filename extension.