fix bug in ordering_specification and null_ordering