In the future, please push formatting changes as separate commits. When part of a larger unrelated pull, formatting changes make reviews harder than they should be.