chiark / gitweb /
resolve: fix copy/paste error