And also, of course, after this error there is no reason to do what is done next.
You found a bug for me, thanks!