Fixup of copy-pasted code.