fix bug #140