Since we're adding these lines anyway, maybe now would be a good time to format according to editorconfig