Yes the example is wrong, I will correct.  (I'm not testing the runtime behaviour here, just the generated code, maybe I should have extended the runtime test.)