Armour against a bug in Flup.