fixed bug #135