Some further doc fixes.