Bug fix---allocating more than expected, due to a previous implementation.