Fix #4284