More editing for public exposition