Corrected spec