Fix previously mentioned bug. It's all in the IO, of course...