Commit b64318247b74481e02caacf4c46d83f07be2b88d

Paul Eggert 2012-01-27T10:22:51

Fix bug# typo in previous patch.