Oh geez, more formatting changes. Very minor.