fix bug#5