Fix issue #7: duplicate ODN detector can be fooled by inconsistent case