minor reformatting change