chiark / gitweb /
Two minor docs fixes