Gratuitous minor changes.