Add #record attribute to RecordNotFound and RecordDestroyed exceptions.

This allows these exceptions to be handled generically in conjunction with RecordInvalid.
Add a blank line before the method.