Fixed some typos, added clarification of final/.