Missed one file in r1240.

original comment:
Fixed bug in memory management.
Memory was allocated with allocator.allocate(n) and always freed with
allocator.allocate(1). This might have resulted in memory leaks that
are not noticed by valgrind.

[[Imported from SVN: r1242]]