• fix problem reported by valgrind