Push.xs: Added missing update_tips() method