Fix some hasty copy-paste gone wrong.