fix typo, may have been caused by bad merge