Bugfix in TmpInput