There may be a typo in section 3:

> It will happily retire instruction 6 before instruction 5.

If memory serves, although instructions can execute out-of-order, they retire in-order (hence the "re-order buffer").