fix bug #141