Independentemente disso, a capitalização realmente não deveria importar. O fato de ser sensível a maiúsculas e minúsculas é um bug. Sempre devemos converter para minúsculas e depois pesquisar.
