formatting tweak (whitespace in examples)