OK, then, yes, it's a label. I saw else with a colon and didn't even think about labels, even though I've used them many times over the years.

Actually, it seems a little odd that a keyword is permitted to be used in this fashion, but whatever.

Thanks for the explanation. I'm gonna blame it on Guido, lol.