Minor changes and corrections