added some output, for debugging