correction (spotted by @chvck)