added printing of spec.