Fixing a minor memory leak