Various doc fixes