fixed bug#9