added some useful output for debugging