Fix arena size check.

To make closing issue #903 easier...