fix bug #124