Polishing.

Cleaning everything up and making minor house-keeping changes.