A few other minor corrections.