Fix #4513