Small editorial fixes.