port area of an octagon with 9.5" i.d. = 63.45.. Port area of a circle with a diameter of 9.5 = 70.88
He clearly used the circle dimensions as shown here. With octagon dimensions you end up with a lower ratio, less airspace due to thicker walls, and higher tuning. I would have gladly accepted...