source formatting, update CHANGES and README file