code formatting; example updates