Minor restyling.