chiark / gitweb /
filamentspool: Fix typo in doc comment