I thought this was a formatting mistake. Do you disagree or do you feel this doesn't belong in this PR?