fixing up some minor docs