fix a copy and paste error spotted by @nsoranzo