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