Add .txt extension