respect digits in search strings

Fixes #3533