Quick doc fixes