When I click Github's 'Edit' button and look at line 1380 the indentation inconsistency is not there. What appears consistent in Github's editor is inconsistent when viewed in a local editor.