Correction to the fix for issue #64