Revisions of the pseudo-code.