A number of minor aesthetic changes.