fix bug #9