Fix #2533101