Fix minor copy-paste error