fixed bug #10