adding debugging output