Fix another harmless Valgrind hit.