Bad github editor! Bad!