Fixes #18933. Fix syntax error.