added some output for debugging