minor fixes and corrections