small correction to io.jl