Fix a memory error, as detected by my old friend Valgrind...