• Fix problems reported by valgrind.