Fix an OB1 bug in allocation.