Minor typo and style revisions for post on 4/30