Removing typos. Really surprised we didn't get around to this sooner.