extra/valgrind fix