chiark / gitweb /
Couple of minor updates to restore accuracy.