bug-fix in allocation table