Make Papa Valgrind happy