Minor: removed DEBUG