fix bug #8