slightly improve IO docs, see #2911