Add explanatory comment based on #5235