Add some verbosity about searching for definitions