Clarify definitions of `EncryptedFile` structure.