dx: small changes to orderings.py