Fix a minor bug in search