Fixed 'verify' macro usage.