Tweaked formatting to make examples more clear