Some debugging information added