Another fix for bug #10