Fixed a couple typos and added some comments about simple groups