Fix for bug #6