Fixing a validity test case that passes but should've failed