Verification
fixes