Formal changes and readme