Minor doc fixes