Fixed up some bad docs