added a debugging message