Fix what I think are a few doc bugs