Minor updates, typo corrections etc.