Added some debugging code