minor change in documentation of TopResults