Fixup PicoSAT docstring