fixed bug #9