Fix #7073