fix bug #137