Minor corrections in I/O