Pushed these doc fixes to guix master, thanks!