Replaced NDEBUG by DEBUG