File extension bug