Right, yes, it's only named with a prefix if it's referenced in the outer record definition.
And the { .. } syntax is synonymous with RECORD .. END