modify Debug.h