Minor bugfix for definitions search change