Fix for bug #3