A few edits andd corrections