fix quality flaw (coverage of SearchServer)