Hi Andrew, I enclose a quick fix-patch to address a case I missed and to avoid any risk of circular dependency in a header include. Thanks to Vlastimil and Oscar for spotting this! :) Cheers, Lorenzo ----8<----