Fixed a few typos and details in references