chiark / gitweb /
Some small changes suggested by ErikDeBruijn