fix typo found by krw@