Minor aesthetic changes.