Miscellaneous editings.