Small doc tweaks here and there.