Debugging: added some comments