Extended the description given in README
Minor changes in spec/