Fix a few places that broke due to a recent change to io.py.