Fixed up some documentation