Update for TotalOrd renaming