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