minor changes and a typo