Terminate() is never called :-)