fix typo. Fixes #628