Small editorial cleanup