Bugfix: exit while loading a file