Fix odd succ behaviour