Fixes #4157: make ordering case insensitive
Merge pull request #439 from ncharles/bug_4157/dev/make_ordering_case_insensitive

Fixes #4157: make ordering case insensitive