fix typo (#859)