minor improvement in debugging output