Minor fixes, typo corrections