A few doc corrections for the previous commit.