20140717 is the final version

I think we're done.