BUGFIX: don't double free