Made sure that sys.stdout.flush() works as
        indented.
        Pun also indented.