Specification : correction and addition