Fixing example formatting