We don't use this style of double indentation anywhere else (even you don't within this pull request).