chiark / gitweb /
Fix some stupid unknown-variable errors.