Some formatting changes concerning whitespace.