We added a debugging doc