Fixing some verifies