fix for bug #86