Fix up the doc a tad