Minor style tweak to the example