chiark / gitweb /
improve readability (#5814)