Minor fixes in many places, to make examples better and fix errors. Prettify JSON differently when there's a stacktrace inside.