Fix a double-free