Fix minor copy-pasta issue