Oops, fixup of copy-pasta