Fixed some typos and added references