Formatting updates, and a small bugfix around handling a missing tivodecode