Helpers on Spec and more tests