Fix previous commit for bug #13675.