I failed to run `guix lint` prior to submitting the patch in my previous submission. I have included the updated patch here. Please disregard the earlier patch and use this one instead. Thank you.