I/O operators: some cleanups