Fix doc-nits from previous commit