small style & typo corrections