correct filename extension