To quote kanonet's succinct description of what I was trying to put into words:
(instead of the line of the RETURN).
Quote
If you access a type.memeber that does not exist and access it on a RETURN statement you get thrown to EOF
(instead of the line of the RETURN).