NDEBUG fix