I can consistently reproduce this bug on Ubuntu 16.04.6 LTS. The search still completes, but I don't get the number of matches on the bottom that I get when the search succeeds. Is there a way print this even when the search fails?