add some diagnostic output