More small doc fixes