fix test case#15

JustXxx wants to merge 2 commits intodevelop_1.20_nary4JustXxx/optimism:develop_1.20_nary4from

develop_1.20_nary4_testJustXxx/optimism:develop_1.20_nary4_testCopy head branch name to clipboard