Added printing of all specs, regardless of success. Corrected spec counting