fixed bug #642