Fix small typo: s/succ/Succ/