chiark / gitweb /
terminal: fix spelling mistake