Miscellaneous corrections.