Sorry, a few more fixes reported by 'guix lint'.

Btw, this is my first contribution. Hope to get reviewed soon.