Yet more doc fixes.