Follow up minor docs change.