Some quick revisions before publish