Minor corrections in Introduction to Widgets.