Change to smartcase

Allows searching case-sensitive when one really wants to.