CompareTo modified, due to a programming bug.