I made that code use the new entry. Was there a failing test, like sorting a covering case-insensitive index a different way?