#9655: fix order warning