Fixing errors in names of standard i/o streams