Fix #5769