Further doc fixes.