fixed bug spotted by @fge