fixed bug #6