one more fix for valgrind