fix bug#4