Added a bit of printing for debugging