Minor changes, typo correction