Another fix to the example formatting