fix bug #10