added 'ordering' to module 'util'