style + small changes. Will work on the SLA-driven rewriting algorithm