fix typo in de20fb4