minor reformatting.