A few small doc corrections.