last small doc fixes