Minor changes, and credits added