fix bug #6