fix typo; add some debug info