fix bug #92