I tried DSG's solution of zipping the file and still the download could not be initiated. The trick is that when I tried to email the text file to myself the other computer I was using couldn't recognize the file type as well, and left it to be a "File". So it's most probably a problem with the file type itself.
I'll try supertoinkz's solution next time I work on that computer, thanks for now.