Andrea Veri commented:
Done [1], thanks!
[1] https://infrastructure.gnome.org/browse/puppet/commit/?id=afa952cb98eb3d730bb79606007e51d04b01d008