Attempt at fixing indentation difference on Github