Application of patch #5218: patch for bug #9742. Fixes a typo in the