We can close this one. After doing a dist-upgrade, the problem has magically disappeared.
-- Patrick Cole Email [email protected] Phone 0410626630 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

