Miscellaneous corrections