fix typo for debugging