Fixing issue #51: fixing the fix