Oops: Don't remove ignorecase

It works in conjunction with smartcase, so removing it makes search case
sensitive.