ASTA-POOL: The Future of Pool: Minor bug fix.

.