Fixing minor typos in paper based on feedback from @ctb