Remove unnecessary wait in Text_IO.Inside