Ugh... is this a double free?