chiark / gitweb /
typo fix from earlier topbar changes