A few small doc fixes.