Remove editor droppings that accidently got into 714ce5b