chiark / gitweb /
fix a typo, thanks to Antoine Hulin