Fix #5937