Hi Alice, Welcome to Guix! :-) Thank for catching this! I have pushed your patch to master after adding a copyright header for you and simplifying the commit message. > I hope I'm not wasting your time for such a small change, but I thought > that while I was at it, since it's the kind of detail that can go > unnoticed for a long time it was better to fix it. No worries, all patches are welcome! :-) Cheers! Arun