[int13] Improve debugging messages