minor reformattings