Some trivial re-formatting changes.