doc: Fix typos

per Andres Freund