fix double free (introduced this morning)