Bugfix in TempFile class