Fix error of compilation in DEBUG mode