Ah, of course. Thanks. Later today I'll add a comment to that effect or switch away from the use of exceptions for this case.