A few miscellaneous minor changes.