Fix copy-pasta.