fix for bug #92