Fixed an out-of-range index error if allocation-pools are not defined