fix bug #4