chiark / gitweb /
execute: typo fix