Fix #3033