Fixing Verification problem in MAc