separate_operator_text(): Properly handle plused and minused text.
Documentation fixes