Then I reseted the device. Inserted the seed and passphrase again, and checked the bitcoin public address. They matched, so I was sure I noted it correctly.
I recently used the same strategy when creating a new seed for my Trezor. Very reassuring.
I added one step: After initializing the wallet the first time I used Electrum to create a watch-only wallet using the master public key. After restoring the Trezor I could then compare the addresses listed in the HW enabled wallet and the watch-only.