Possibly fix double free