minor restyling and first example