Fixes to the example formatting