fixed a few types and slightly improved some wording in the writeup