fix up last example formatting