Resolved question about deterministic face ordering in Dolfin.