Fixed up the documentation a bit