minor changes affecting formatting