Fix JSON formatting in the "Server admin style permissions" examples.