remove deprecated lexical_ordering() usage

No problem. I'll update the PR shortly.