fix bug #131