fix typo in debugging code