Fixed up the documentation