Fix a copy-n-paste error