Added two lines for debugging purpose