  We give a new criterion which guarantees that a free group admits a
bi-ordering that is invariant under a given automorphism. As an application, we
show that the fundamental group of the "magic manifold" is bi-orderable,
answering a question of Kin and Rolfsen.
