Fixes bug in allocation pools