rectified file extension