A sed script I just ran catched 2 headers which diverged from the
way the GPL3 header is usually included in Guix.

Appended fix.