chiark / gitweb /
commitid: In Small, fix doc comment