Fix specification test for trait