Flushing is a good idea outside ghci
Better email address