fix typo found by Hongkai