Fixing some prints

because Hans Strudel doesn't like sys.stdout.write