fix bug #3