yet more doc fixes