change a few lingering instances of "Check" to "Verify"