Adding summary to the specification.