Eliminate a typo that crept into a last minute change before commit :(
Noticed by: Olivier Cochard-Labbe