fix for bug #3