fix bug #2