Added some output for debugging