Issue #5933: Repair of bug in renderer