fix bug#3