Minor cosmetics + example.