fix typo pointed out by Chen-Hung