chiark / gitweb /
Some small fixes suggested by Erik after testing.