The example closes the cursor in the loop just before the return. As you point out it should close it at the end of the loop, I'm sure that's where Dan put it (since the loop only EXITs on that condition).
Now ... the exception case is one I can guarantee neither Dan nor I thought of, and thank you very much for pointing this out. Yes, indeed, one should do so, just to be safe.
