Add missing doc changes for ee80f043bc9b

Per note from Tom Lane