fixed bug #5