Fix #4709