Make valgrind happy