Making valgrind happy :)