Addressing Simon's termination comment (in text, not just in comments). Few other minor changes
Addressing Simon's termination comment (in text, not just in comments).
Few other minor changes

ezyang/hoopl,hvr/hoopl,hvr/hoopl