fixed a minor leak (on exit)