Added some dubugging prints