Various minor mistakes, typos.