chiark / gitweb /
prefork: fix some syntax in formal comment