Bugfix and formatting of examples.