-small fixes -two subsections in introduction -spec_out