small changes and corrections