chiark / gitweb /
remove redundant variable