Debugging info added.