fix typo pointed out by @yinxusen