small tweak and docs update in ParserPool