Minor code restyling.