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: r1240]]