clarify the location of defspec