It's redundant, yes. I kept it for symmetry with the previous test, but I'm happy to delete it.