fix for bug #8