Correct return type of topk_get_top, addresses BIT-1144