Update upstream. (Sequence hotfix, see #236.)