Make verify test case-insensitive