Quick fix to code and debug doc in case I broke the build.