fix typo in previous commit; thanks @wangyan42164 for pointing out