some revisions and a marked-up doc