some reformatting and fixed a typo