The second version of this patch passes guix lint. The first one contains a
line too long.
Sorry about that.