Very minor reformatting.