Fixed up some of the documentation