Fix NDEBUG in wrong place