further doc fixes