made valgrind happy