Ah shit, it's during the merge with v6r10 yesterday that this uncommitted change (as I realized it was much more complicated than I though initially ;-) creeped into the branch… I'll revert it