Fix for printing with 1-byte id types
Formatting fixes for --with-processor-id-bytes=1