Fix #13386

Fixes #13386.