Fix #4299