fixed bug #8