minor change: get rid of debug info