another minor reformatting change