Fix #5751