Hi, thanks for the patch! Pushed to guix master as commit d5fc8518896f406da74a2e5b7c5ac95fabfe56c9.