Added definition to Ord.