This is a double free.