[fixes #72041790]