Cleaning up what looks like a copy-paste error. Shouldn't affect anything.