Added some debugging helper code