Fix docs nits.