A few miscellaneous corrections