more debugging output again