* fix for a rare crash; fixes NB#80616.