Fix #4180