Fix issue 13128.