fix mistake mentioned in #13162

As discussed in #13162