Fix #4005