Added a missing DEBUG variable