Added configurable DEBUG option.