fix NDEBUG warning