minor changes after reformatting