Fix an ignorecase issue