Fixed typos, added clarifications, updated references