Remove unused CHECK lines
Fix typo
Fix broken FileCheck prefix