Is GitHub lying or is this indentation weird?