Yet more doc text tweaking