fix for bug #96