Slides/11: fix IORef1 example