Examples: fix formatting