added some output for debugging purposes