Fix I/O bug introduced in last commit.