A mistake in io.h was fixed.