Some formatting changes (again).