Other minor aesthetic changes.