fix get_succ return value