Bad idea of the day: set your terminal font to Brand New Roman before starting to code