Fix a (harmless) Valgrind hit.