Add some debugging code