fix bug#41