Better output flushing, maybe?