Fix a memory error detected with Valgrind...