A few editing fixes