Fixed a minor copy-paste error