Fix #5988