fix stdin Textfile wrapper