Scratch that. I've just read the bug report that you posted, which I should have done before suggesting a solution. =)