This patch corrects a segfault reported in 14289,