minor reformatting