Thanks! (In fact I'm already prepping a fix which includes your patch along with a AMD64 FTBS fix, albeit a 32-bit one.) --Barak.