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