Hi David,

thanks for the patch!

Pushed as commit 7aa28eb339dd667d07cfb8b5347e159d5da3ccd7 to guix master.