A few small doc fixes