Hard-coded "figure 5" on line 75, to work around weird latex bug. Fixed some typos.