fixed bug#4