fixed several typos, added header information