chiark / gitweb /
maninst: Fix stupid variable-name typo.