Fix #7012