typos, formatting, added COSYNE