small changes in file extension