Fix error in TestSpecification