Some hacks by Spiros

The Frenetic system paper has a new author.