fix ASSERT_SPARK_POOL_INVARIANTS(): top>bottom is valid