chiark / gitweb /
Improve message slightly