Fix bug#3345