[Ordering] Revert a local change that got accidentally added to the last commit