add some diagnostic messages