minor fix in order logics