some minor reformatting