Fixed a file extension bug