Fix ifdef NDEBUG