Can we not have unrelated style changes in the PR please?