fix bug #5