Commit b8f103aec079eefec01197fafa45d792ad567053

Paul Eggert 2018-09-18T12:27:10

doc: fix typo