Actually add the other minor documentation changes.