Added code for debugging