fix bug #150.