[Ordering] Fix namespace for undecorated_ordering()