chiark / gitweb /
cleanup: Rename a few badly-chosen variables.