Fix #5997