No. I don't think it is critical. If double cause great performance degradation, we can remove it in this code.