added a debugging note