fix bug #31