Howto: testing had the wrong example for IO