Fix check for NDEBUG