Fix bug#4006