[Fix #992] Correct a typo