Irrelevant formatting changes