still more doc fixes