Minor doc fixes.