tweak docs; fix reference to _LogicParser