minor changes and corrections