Fix copy-paste snafu