minor updates and corrections