Display the number of search results. Fix #13.