tags 625153 + upstream fixed-upstream thanks Thanks for the report, this is already in upstream, which is about to get released, so will be fixed by the corresponding upload. Samuel