Fix failed copy-pasta.