Fix up some docs