small changes and a typo correction