Improve example in the appendix

[bemasc]

The example did not account for the record layer, and seemed to overlook some other details as well.

Fixes #83