make TipSearch consistent with other msgs: use Integer, not int for length